\documentclass{book}
\usepackage{makeidx}
\usepackage[utf8]{inputenc}
\usepackage[spanish]{babel}
\usepackage{epsfig}
\usepackage{graphicx}
\usepackage{color}
\newcommand{\nc}{\newcommand}


\nc{\trans}[1]{{#1}^{\mathcal{T}}}  % usage: $\trans{C}$
\nc{\ftrans}{\mathcal{T}}  % usage: $\trans$
\nc{\ft}[1]{\mathcal{\varphi}({#1})}    % usage: $\ft{C}$
\nc{\ftx}[2]{\mathcal{\varphi}({#1},{#2})}    % usage: $\ft{C}{x}$
\nc{\ftxprime}[2]{\mathcal{\varphi'}({#1},{#2})}    % usage: $\ftxprime{C}{x}$
\nc{\ftxE}[2]{\mathcal{\varphi^{\exists}}({#1},{#2})}    % usage: $\ftxE{C}{x}$
\nc{\rel}{\mathcal{R}}
\nc{\relS}{\mathcal{S}}
\nc{\multileft}{ \{\!| }
\nc{\multiright}{  |\!\} }
\nc{\multi}[1]{ \multileft {#1} \multiright }
\nc{\SQL}[1]{ \langle #1 \rangle } % usage $\SQL{R}$
\nc{\cod}[1]{{\tt #1}}            % code from the algorithm mentioned in the text
\nc{\row}[1]{\lessdot #1 \gtrdot} % usage $\SQL{R}$

\makeindex
\begin{document}
%\title{Generador de casos de prueba para SQL}
%\author{Jose Luzón-Martín, Antonio Tenorio-Fornés}
%\date{Junio 2012}
%\maketitle
\input{title}
\chapter*{Agradecimientos}
\input{gracias}
\chapter*{}
\input{autorizacion}
\chapter*{Abstract}
\input{abstract}
\chapter*{Resumen}
\input{resumen}

\tableofcontents
\listoffigures

\chapter{Introducción}\label{sec:intro}

\section{Definición del problema}
\input{introDefinicion}\label{sec:definicion}
\section{Restricciones y Casos de Prueba}
\input{introRestricciones}
\input{introCasosPrueba}
\section{Aportaciones}
\input{introAportaciones}
\section{Estructura del trabajo}
\input{introEstructura}

\chapter{Análisis y diseño}\label{sec:analisis}
\input{analisis}
\section{Decisiones de diseño}
\input{decisiones}
\section{Ámbito de aplicación}\label{sec:ambito}
\input{scope}
\section{Estructura en ``pipeline''}\label{sec:pipeline}
\input{pipeline}
\subsection{Analizador sintáctico}
\input{parsing}
\subsection{Generación de fórmulas}\label{sec:formulas}
\input{formula}
\subsubsection{Transformación a restricciones}\label{sec:formula:restricciones}
\input{restricciones}
\subsubsection{Representación de fórmulas}\label{sec:formula:representacion}
\input{representacion}
\subsection{Traducción a resolutor específico}\label{sec:resolutor}
\input{traduccionresolutor}
\chapter{Desarrollo e implementación}\label{sec:desarrollo}
\input{desarrollo}
\section{Proceso de Desarrollo}\label{sec:procesoDesarrollo}
\input{proceso}
\subsection{Investigación y aprendizaje}\label{subsec:investigacion}
\input{investigacion}
\subsection{Planificación}\label{subsec:planificacion}
\input{planificacion}
\section{Implementación}\label{sec:implementacion}
\input{implementacion}
\section{Ejemplo de ejecución}\label{sec:ejemplo}
\input{ejemplo}

\chapter{Conclusiones y trabajo futuro}\label{sec:conclusion}
%\input{conclusionesYTrabajoFuturo}
\section{Trabajo realizado}\label{sec:trabajoRealizado}
\input{trabajoRealizado}
\section{Trabajo futuro}\label{sec:trabajoFuturo}
\input{trabajoFuturo}
\section{Aplicaciones}
\input{aplicaciones}
\section{Conclusiones}
\input{conclusiones}
\appendix
\chapter{Gramática}\label{app:grammar}
\input{grammar}
\chapter{Resultados de ejecución}\label{app:resultados}
\section{Fichero ``input.sql''}\label{app:sec:input}
\input{input}
\section{Estructura ``C++''}\label{app:sec:estructuracpp}
\input{estructuracpp}
\section{Fórmulas de restricciones del ejemplo}\label{app:sec:formulas}
\subsection{Fórmula de restricciones para la tabla \cod{player}}\label{app:sec:formulaplayer}
\input{formulaplayer}
\subsection{Fórmula de restricciones para la tabla \cod{board}}\label{app:sec:formulaboard}
\input{formulaboard}
\subsection{Fórmula de restricciones para la vista \cod{nowPlaying}}\label{app:sec:formulanowplaying}
\input{formulanowplaying}
\subsection{Fórmula de restricciones para la vista \cod{checked}}\label{app:sec:formulachecked}
\input{formulachecked}
\section{Fichero ``output.mzn''}\label{app:sec:output}
\input{output}
\chapter{Manual de usuario}\label{app:manual}
\input{manual}
\chapter{Ejemplos de Equivalencia entre sentencias SQL}\label{app:ejemploEqivalencia}
\input{equivalencias}


 \printindex
% Bibliography with BibTeX
% ========================
\bibliographystyle{ieeetr}
\bibliography{biblio}
\end{document}
